E (SETQ $PRINT-BUDGET-MONTHLY nil) READ (SALARY IN DSK (PRO HE)) READ (VAX81B IN DSK (PRO HE)) BUDGET FIRST-YEAR (VAX811 OUT DSK (PRO HE)) BUDGET SECOND-YEAR (VAX812 OUT DSK (PRO HE))